FDL - Nuprl Definition : causal-predecessor

Nuprl Definition : causal-predecessor

11,40

causal-predecessor(es;p) ==

e:E. (

can-apply(p;e))

(do-apply(p;e) < e)

clarification:

causal-predecessor(es;p) ==

e:es-E(es). (

can-apply(p;e))

es-causl(es; do-apply(p;e); e)

Definitions x:A. B(x), E, P Q, b, (e < e')

FDL editor aliases causal-predecessor

Definitions	x:A. B(x), E, P Q, b, (e < e')
FDL editor aliases	causal-predecessor